if (info->serial) {
flexarray_vappend(dm_args, "-serial", info->serial, NULL);
}
- if (info->type == LIBXL_DOMAIN_TYPE_FV) {
+ if (info->type == LIBXL_DOMAIN_TYPE_HVM) {
int ioemu_vifs = 0;
if (info->videoram) {
case LIBXL_DOMAIN_TYPE_PV:
flexarray_append(dm_args, "xenpv");
break;
- case LIBXL_DOMAIN_TYPE_FV:
+ case LIBXL_DOMAIN_TYPE_HVM:
flexarray_append(dm_args, "xenfv");
break;
}
if (info->serial) {
flexarray_vappend(dm_args, "-serial", info->serial, NULL);
}
- if (info->type == LIBXL_DOMAIN_TYPE_FV) {
+ if (info->type == LIBXL_DOMAIN_TYPE_HVM) {
int ioemu_vifs = 0;
if (info->stdvga) {
case LIBXL_DOMAIN_TYPE_PV:
flexarray_append(dm_args, "xenpv");
break;
- case LIBXL_DOMAIN_TYPE_FV:
+ case LIBXL_DOMAIN_TYPE_HVM:
flexarray_append(dm_args, "xenfv");
break;
}
flexarray_append(dm_args, "-m");
flexarray_append(dm_args, libxl__sprintf(gc, "%d", info->target_ram));
- if (info->type == LIBXL_DOMAIN_TYPE_FV) {
+ if (info->type == LIBXL_DOMAIN_TYPE_HVM) {
for (i = 0; i < num_disks; i++) {
int disk, part;
int dev_number =